loop invariant
英 [luːp ɪnˈveəriənt]
美 [luːp ɪnˈveriənt]
网络 循环不变式; 循环不变性; 循环不变量; 循环常量; 循环丌变式
双语例句
- That would leave open the opportunity to apply other optimizations such as; method inlining, loop invariant hoisting and dead code elimination.
这样就会为其他的优化行为打开大门；比如方法内联、提取循环不变式以及死代码的清除。 - An Approach to Creating Loop Invariant Based on Gene Expression Programming marked by or moving in a cycle.
利用基因表达式编程自动生成循环不变式以循环为特点或者按循环的方式运动。 - The loop invariant of definite do loop is attained by using its WP.
对确定性do循环，利用其WP求出循环不变式。 - The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。 - This paper develops non-recursive algorithmic program of Hanoi tower problem employing PAR method and the new strategy of developing loop invariant and verifies the program formally.
使用形式化方法PAR及循环不变式开发新策略，开发了Hanoi塔问题非递归算法，并对其进行了形式化的正确性证明。 - A discussion about loop and loop invariant
关于循环与循环不变式的讨论 - Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法 - The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。 - On the functions and status of loop invariant and bound function in loop study
试论循环不变式和囿界函数在循环研制中的地位和作用 - Based on the concept of path gain the existance of loop free weighted event graph place invariant is proved and the form of its place invariant and the minimum place invariant are embodied.
基于路增益概念，证明了无回路加权事件图位置不变量的存在性，并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。 - On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop
关于求已知do循环不变式的一个方法及for循环的WP的定义 - The model uncertainties are dealt with by introducing an internal feedback loop. The input saturation constraint is addressed by the peak-peak gain and the invariant ellipsoid shaped by the Lyapunov function.
使用内部反馈回路处理系统的不确定性，引入Lyapunov函数成形的不变椭圆和峰&峰增益使控制输入满足约束限制。